Pierpaolo Degano: mencari di tapak web Z-Library

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024 Mengenai pengumpulan sumbangan

Akses percuma kepada pengetahuan dan budaya.

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024

Z-Library - salah satu perpustakaan dalam talian terbesar di dunia yang menyimpan lebih daripada 17,000,000 buku dan 84,837,000 artikel. Kami bertujuan untuk buku boleh diakses oleh semua orang. Hari ini (15 hb September 2024) kami memulakan pengumpulan dana tambahan untuk menyokong dan mengembangkan projek.

Tambah lagi muat turun TANPA HAD (untuk 31 hari sejak menghantar sumbangan) boleh diakses oleh SEMUA pengguna yang menyumbangkan selama tempoh pengumpulan sumbangan hingga 1 hb Oktober 2024.

Mengenai pengumpulan sumbanganBaca lebih lanjut

Buku (30)
Yang paling popular
Senarai
- Senarai
- Jadual

1

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

Tahun:

2008

Bahasa:

english

Fail:

PDF, 10.15 MB

0 / 0

english, 2008

2

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

Tahun:

2008

Bahasa:

english

Fail:

PDF, 24.22 MB

0 / 0

english, 2008

3

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Xavier Leroy (auth.), Pierpaolo Degano (eds.)

Tahun:

2003

Bahasa:

english

Fail:

PDF, 3.64 MB

0 / 0

english, 2003

4

Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta (auth.), Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Sławomir Wierzchoń (eds.)

Tahun:

2012

Bahasa:

english

Fail:

PDF, 18.25 MB

0 / 0

english, 2012

5

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari (auth.), Roberto Gorrieri, Heike Wehrheim (eds.)

Tahun:

2006

Bahasa:

english

Fail:

PDF, 3.98 MB

0 / 0

english, 2006

6

Computational Methods in Systems Biology

Computational Methods in Systems Biology

Pierpaolo Degano, Roberto Gorrieri

Tahun:

2009

Bahasa:

english

Fail:

PDF, 6.64 MB

0 / 0

english, 2009

7

Programming Languages with Applications to Biology and Security

Programming Languages with Applications to Biology and Security

Imprint: Springer, Springer International Publishing

Bodei, Chiara, Degano, Pierpaolo, Ferrari, Gian-Luigi, Priami, Corrado

Tahun:

2015

Bahasa:

english

Fail:

EPUB, 6.61 MB

0 / 0

english, 2015

8

Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Springer-Verlag Berlin Heidelberg

Cynthia Dwork (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)

Tahun:

2012

Bahasa:

english

Fail:

PDF, 5.38 MB

0 / 5.0

english, 2012

9

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Lisa Bartoli, Pier Luigi Martelli, Ivan Rossi (auth.), Pierpaolo Degano, Roberto Gorrieri (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 7.42 MB

0 / 0

english, 2009

10

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Dusko Pavlovic (auth.), Pierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 2.86 MB

0 / 0

english, 2011

11

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Anindya Banerjee (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 3.48 MB

0 / 0

english, 2010

12

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Anindya Banerjee (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 3.11 MB

0 / 0

english, 2010

13

Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud (auth.), Pierpaolo Degano, Joshua Guttman, Fabio Martinelli (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 5.37 MB

0 / 0

english, 2009

14

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

Tahun:

2008

Bahasa:

english

Fail:

PDF, 23.45 MB

0 / 4.0

english, 2008

15

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Springer-Verlag Berlin Heidelberg

Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.)

Tahun:

2008

Bahasa:

english

Fail:

PDF, 11.98 MB

0 / 0

english, 2008

16

Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta (auth.), Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Sławomir Wierzchoń (eds.)

Tahun:

2012

Bahasa:

english

Fail:

PDF, 22.42 MB

0 / 0

english, 2012

17

Automata, Languages and Programming: 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings

Automata, Languages and Programming: 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Robin Milner (auth.), Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.)

Tahun:

1997

Bahasa:

english

Fail:

DJVU, 10.31 MB

0 / 0

english, 1997

18

Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Springer-Verlag Berlin Heidelberg

Cynthia Dwork (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)

Tahun:

2012

Bahasa:

english

Fail:

PDF, 4.72 MB

0 / 0

english, 2012

19

International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings

International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings

Springer-Verlag Berlin Heidelberg

Marco Bellia, Pierpaolo Degano, Giorgio Levi (auth.), Mariangiola Dezani-Ciancaglini, Ugo Montanari (eds.)

Tahun:

1982

Bahasa:

english

Fail:

DJVU, 3.78 MB

0 / 0

english, 1982

20

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Anindya Banerjee (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 3.05 MB

0 / 0

english, 2010

21

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ... Computer Science Security and Cryptology)

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ... Computer Science Security and Cryptology)

Pierpaolo Degano, Luca Viganò

Tahun:

2009

Bahasa:

english

Fail:

PDF, 3.16 MB

0 / 0

english, 2009

22

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Adedayo O. Adetoye, Atta Badii (auth.), Pierpaolo Degano, Luca Viganò (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 2.60 MB

0 / 0

english, 2009

23

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Dusko Pavlovic (auth.), Pierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 2.82 MB

0 / 0

english, 2011

24

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Adedayo O. Adetoye, Atta Badii (auth.), Pierpaolo Degano, Luca Viganò (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 2.66 MB

0 / 0

english, 2009

25

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Xavier Leroy (auth.), Pierpaolo Degano (eds.)

Tahun:

2003

Bahasa:

english

Fail:

PDF, 24.06 MB

0 / 0

english, 2003

26

Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud (auth.), Pierpaolo Degano, Joshua Guttman, Fabio Martinelli (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 3.91 MB

0 / 0

english, 2009

27

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Lisa Bartoli, Pier Luigi Martelli, Ivan Rossi (auth.), Pierpaolo Degano, Roberto Gorrieri (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 7.47 MB

0 / 0

english, 2009

28

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Springer-Verlag Berlin Heidelberg

Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.)

Tahun:

2008

Bahasa:

english

Fail:

PDF, 26.73 MB

0 / 0

english, 2008

29

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Adedayo O. Adetoye, Atta Badii (auth.), Pierpaolo Degano, Luca Viganò (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 3.77 MB

0 / 0

english, 2009

30

International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings

International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings

Springer-Verlag Berlin Heidelberg

Marco Bellia, Pierpaolo Degano, Giorgio Levi (auth.), Mariangiola Dezani-Ciancaglini, Ugo Montanari (eds.)

Tahun:

1982

Bahasa:

english

Fail:

PDF, 9.68 MB

0 / 0

english, 1982